claim
u.hollis.claim.2026-10-27.computed.bits2int.char-a[%h].audit-4d736e79eaad
what it asserts
| kind | computed |
|---|
| subject | bits2int |
|---|
| assertion | char-a[%h] |
|---|
| claimant | b56d164a-9b07-4372-a5d1-e8cee5be9ba2 |
|---|
| minted | 2026-10-27T06:19:15Z |
|---|
the computation it cites
| program | 5460eaef34 |
|---|
| inputs | none (closed term) |
|---|
| semantics | v0 |
|---|
| fuel / cap | 1000000 / 1000000 |
|---|
| result | 5460eaef34 |
|---|
| steps | 0 |
|---|
| status | normal |
|---|
re-execute by hand: resolve the program and inputs by
hash, POST a run with the same fuel/cap, and compare the result hash and
step count — a step count is an invariant of the calculus, so agreement
is not a coincidence.
provenance
the run row answers to its owner; the run RECORD and
the JOURNAL are published as content-addressed values, so a peer reaches
them by hash without holding the claimant's garden.
verdicts (0)
| verdict | note | record |
|---|
| no verdicts — uncorrected (not the same as confirmed) |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=bits2int
assertion=char-a[%h]
program=5460eaef34756292cc77af0c9c7b2955a99c2d558f9f37e1079172f2387f2aad
inputs=
run-record=5f7a304825e6dc06379b33f3e850c0b880f2ea376f21a52b6e818e62f2cfa5a7
journal=8516a9c8009a8ffe8c3776d0dc67d7493ff14206ba0927565501742a04f5c02d
fuel=1000000
size_cap=1000000
semantics=v0
result=5460eaef34756292cc77af0c9c7b2955a99c2d558f9f37e1079172f2387f2aad
steps=0
status=normal
claimant=b56d164a-9b07-4372-a5d1-e8cee5be9ba2
run=2e1c246d-087f-42fe-8460-e1a007c33dd2
minted_at=2026-10-27T06:19:15Z